si: (e, ..e -> A)
A
